Uses of Class
edu.uky.ai.lp.logic.Constant

Packages that use Constant

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Constant in edu.uky.ai.lp.logic

Methods in edu.uky.ai.lp.logic that return Constant

Modifier and Type	Method	Description
Constant	Constant.substitute(Unifier unifier)